proof theory造句
例句與造句
- The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
將證明論方法引入到xml中，建立了基于xml的證明論。 - Applying the methods of gray system synthesize evaluation and proof theories , got the outburst dangerous grade samples
在此基礎(chǔ)上，提出了危險(xiǎn)信度的概念，用以衡量突出礦井危險(xiǎn)程度，編制了神經(jīng)網(wǎng)絡(luò)，并對(duì)其進(jìn)行訓(xùn)練。 - The author anticipate future of constitutionlism building in china and proof theory of constitution chang , recruitment and explanation . at the same time
預(yù)測了我國憲政建設(shè)的趨勢，論述了現(xiàn)行憲法應(yīng)修改、補(bǔ)充的內(nèi)容及解釋原理。 - A clause is formalized as a relational algebra expression and evaluated by employment of relational algebra operations . 3 . the proof theory based on xml is presented
提出了利用關(guān)系代數(shù)運(yùn)算實(shí)現(xiàn)xml查詢子句求值的方法，并證明了該方法的正確性。 - Based on the characteristics of measurement safety inspection system for railway freight transportation under the condition of electrification and informationization , the essay the nessity to apply lightning proof by modern proof theory , and introduces the integrated lighting proof technology
摘要針對(duì)電氣化、信息化條件下鐵路貨運(yùn)計(jì)量安全檢測系統(tǒng)的特點(diǎn)，利用現(xiàn)代防雷理論分析對(duì)其進(jìn)行雷電防護(hù)的必要性，并對(duì)其綜合防雷技術(shù)進(jìn)行了相應(yīng)介紹。 - It's difficult to find proof theory in a sentence. 用proof theory造句挺難的
- The ids works by two way , misuse detection and anomaly detection , misuse detection flags an intrusion on intrusion signature , this kind of detecting technic can be realized much more easily , and much more accurate , but it can not find some intrusiones that have been disguised or new kinds of intrusion . the anomaly detection can detect in more wide field , anomaly detection can compare new statistic data with average record , then anomaly record will be found , but it ' s more difficult to set a threshold , if the threshold is too big , some intrusion may be put through , if the threshold is too small , the ids will give more false positive alarm , and the threshold will be different with different people or different period , so the ids just simply show us their suspicious record , the administrator or expert will be in duty to analyze this record and give conclusion , the ids give more alarm than it should , leave us more detection record to analyze , and this is a hard work , we can not distinguish an intrusion or not if we analyze only one record , but we can judge if we find the relation among mass detection evidence . in this article , we try distinguish an intrusion using d - s theory ( proof theory ) instead using manual work , the ids will be more helpful and efficient
濫用檢測采用的是特征檢測的方法，實(shí)現(xiàn)較為簡單，判斷的準(zhǔn)確性較高，但是不能判斷一些經(jīng)過偽裝的入侵或特征庫中尚未包含的入侵，異常檢測能夠根據(jù)以往記錄的特征平均值，判斷出異常情況，但是對(duì)于異常到什么程度才視為入侵，這個(gè)閥值非常難以確定，閥值設(shè)定的太高，有可能漏過真正的入侵，如果設(shè)定的閥值太低，又會(huì)產(chǎn)生較高的誤警率，而且這個(gè)閥值因人而異，因時(shí)而異，因此現(xiàn)在的入侵檢測系統(tǒng)把這部分異常記錄以一定的形式顯示出來或通知管理人員，交給管理人員去判斷，而這些ids系統(tǒng)難以判斷的記錄，如果對(duì)每個(gè)證據(jù)單獨(dú)地進(jìn)行觀察，可能是難以判斷是否是入侵，而把許多先后證據(jù)關(guān)聯(lián)起來，專家或管理人員根據(jù)經(jīng)驗(yàn)?zāi)軌蚺袛嘣L問的合法性，本文試圖引入人工智能中證據(jù)理論的推理策略和示例學(xué)習(xí)方法，代替人工檢查分析，可以提高效率，降低誤警率，并可以對(duì)一個(gè)正在進(jìn)行得可疑訪問實(shí)現(xiàn)實(shí)時(shí)檢測，通過搜索及時(shí)判斷，及時(shí)阻斷非法訪問，比事后得人工處理更有意義。